Linear Time Logic Control of Discrete-Time Linear Systems
نویسندگان
چکیده
منابع مشابه
Optimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملLinear Time Logic Control of Linear Systems
The control of complex hybrid systems poses new challenges that fall beyond the traditional approaches of control theory. One of these challenges is given by the need to control, coordinate and synchronize the operation of several modules in a network of interacting systems. The desired objectives are no longer captured by the usual control specifications, such as stabilization or output regula...
متن کاملLinear-Time Temporal Logic Control of Discrete Event Systems
A Discrete Event System (DES) is a dynamic system that evolves in accordance with the instantaneous occurrence, at possibly unkown intervals, of physical events. Given a DES, its behavior (the sequence of displayed events) may not satisfy a set of logical performance objectives. The purpose of Supervisory Control is to restrict that behavior in order to achieve those objectives. Linear-Time Tem...
متن کاملEigenvalue Assignment Of Discrete-Time Linear Systems With State And Input Time-Delays
Time-delays are important components of many dynamical systems that describe coupling or interconnection between dynamics, propagation or transport phenomena, and heredity and competition in population dynamics. The stabilization with time delay in observation or control represents difficult mathematical challenges in the control of distributed parameter systems. It is well-known that the stabi...
متن کاملOptimal control of linear fuzzy time-variant controlled systems
In this paper, we study linear fuzzy time-variant optimal control systems using the generalized differentiability concept and we present the general form of optimal controls and states. Some examples are provided to illustrate our results.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Automatic Control
سال: 2006
ISSN: 0018-9286
DOI: 10.1109/tac.2006.886494